MONOID ACTIONS AND ULTRAFILTER METHODS IN RAMSEY THEORY
نویسندگان
چکیده
منابع مشابه
The category of monoid actions in Cpo
In this paper, some categorical properties of the category ${bf Cpo}_{{bf Act}text{-}S}$ of all {cpo $S$-acts}, cpo's equipped with actions of a monoid $S$ on them, and strict continuous action-preserving maps between them is considered. In particular, we describe products and coproducts in this category, and consider monomorphisms and epimorphisms. Also, we show that the forgetful functor from...
متن کاملRamsey for R1 ultrafilter mappings and their Dedekind cuts
Associated to each ultrafilter U on ω and each map p : ω → ω is a Dedekind cut in the ultrapower ωω/p(U). Blass has characterized, under CH, the cuts obtainable when U is taken to be either a p-point ultrafilter, a weakly-Ramsey ultrafilter or a Ramsey ultrafilter. Dobrinen and Todorcevic have introduced the topological Ramsey space R1. Associated to the space R1 is a notion of Ramsey ultrafilt...
متن کاملthe category of monoid actions in cpo
in this paper, some categorical properties of the category ${bf cpo}_{{bf act}text{-}s}$ of all {cpo $s$-acts}, cpo's equipped with actions of a monoid $s$ on them, and strict continuous action-preserving maps between them is considered. in particular, we describe products and coproducts in this category, and consider monomorphisms and epimorphisms. also, we show that the forgetful functor from...
متن کاملA notion of selective ultrafilter corresponding to topological Ramsey spaces
We introduce the relation of almost-reduction in an arbitrary topological Ramsey space R as a generalization of the relation of almostinclusion on N[∞]. This leads us to a type of ultrafilter U on the set of first approximations of the elements of R which corresponds to the well-known notion of selective ultrafilter on N. The relationship turns out to be rather exact in the sense that it permit...
متن کاملThe Monoid of Queue Actions
Wemodel the behavior of a fifo-queue as a monoid of transformations that are induced by sequences of writing and reading. We describe this monoid by means of a confluent and terminating semi-Thue system and study some of its basic algebraic properties such as conjugacy. Moreover, we show that while several properties concerning its rational subsets are undecidable, their uniform membership prob...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Forum of Mathematics, Sigma
سال: 2019
ISSN: 2050-5094
DOI: 10.1017/fms.2018.28